Logical Principles in Ternary Mathematics
نویسندگان
چکیده
منابع مشابه
Discrete Mathematics Two useful principles
I have 50 pairs of socks of which 30 are black and 35 are cotton. How many pairs of socks are black and cotton? If I call the set of black socks A and the set of cotton socks B, we are looking at |A ∩ B|. It is not hard to see that: |A ∪ B| = |A| + |B| − |A ∩ B| because every element that belongs to both A and B is counted twice by |A|+|B|, so we subtract the size of the intersection once. Ther...
متن کاملThe Mathematics of Diagrammatic Logical Systems
The focus of my PhD was on spider diagrams and constraint diagrams. Constraint diagrams are a visual language for expressing logical statements. The spider diagram language forms a fragment of the constraint diagram language. I developed two diagrammatic reasoning systems. The first of these, based on spider diagrams, directly extends previous work. The second system is based on the more expres...
متن کاملThe Logical Strength of Compositional Principles
Some years ago, Shapiro (1998) and Ketland (1999) independently developed what is now known as the ‘conservativeness argument’ against deflationary views of truth. Attempting to understand in what sense a deflationary truth-predicate is ‘insubstantial’, they proposed that the principles concerning truth that a deflationist accepts should conservatively extend whatever non-semantic theories the ...
متن کاملExtraction of Logical Structure from Articles in Mathematics
We propose a mathematical knowledge browser which helps people to read mathematical documents. By the browser printed mathematical documents can be scanned and recognized by OCR (Optical Character Recognition). Then the meta-information (e.g. title, author) and the logical structure (e.g. section, theorem) of the documents are automatically extracted. The purpose of this paper is to show the ex...
متن کاملHintikka's Revolution: The Principles of Mathematics Revisited
The title of this book refers to Bertrand Russell's The Principles of Mathematics, but it does not deal with Russell's ideas. Jaakko Hintikka sees his book in a similar role to that enjoyed by Russell's, almost a century ago. It is 'crisis science', aimed at establishing a new paradigm in the foundations of mathematics. Hintikka presents a new formalism and a new logic, together with a new sema...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Asian Journal of Research in Computer Science
سال: 2021
ISSN: 2581-8260
DOI: 10.9734/ajrcos/2021/v7i330181